%%This is a very basic article template.
%%There is just one section and two subsections.
\documentclass[a4paper,twocolumn]{article} 

\usepackage[left=2cm,top=2.5cm,right=2cm,bottom=2.5cm,nohead]{geometry}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage[latin1]{inputenc}
\usepackage{listings}
\usepackage{hyperref}   % use for hypertext links, including those to external documents and URLs
% *** GRAPHICX ***
%   For the insertion of postscript figures
\usepackage{graphicx}


\renewcommand\lstlistingname{Example}% default is Listing

\begin{document} 

\title{Solving Satisfiable Constraints over Finite Domains}

\author{Thomas Hofer\\\textsc{\small Software Analysis and Verification}\\\textsc{\small\'Ecole Polytechnique
F\'ed\'erale de Lausanne}\\t.hofer@epfl.ch}

\maketitle

\input{listingsScala}
\lstset{aboveskip=\medskipamount,belowskip=\medskipamount,language=scala,columns=fullflexible,
showstringspaces=false,mathescape=true,captionpos=b,tabsize=2,breaklines}

\input{00-abstract}

\input{01-introduction}

\input{02-constraint_solving_problems}

\input{03-finite_domains}

\input{04-related_work}

\input{05-implementation_ideas}

\input{06-implementation_status}

%\input{07-limitations}

\input{08-conclusion}

\bibliography{mybib}{}
\bibliographystyle{plain}
\end{document}
